complementary nondeterministic polynomial

(Co-NP) The set (or property) of problems with a

yes/no answer where the complementary no/yes problem is in the

set {NP}.

[Example?]

(1995-04-27)